Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

General chair, scientific chair

• PROSECCO organized and hosted the The Joint EasyCrypt-F*-CryptoVerif School 2014 from Nov 24-28. The main organizers were Catalin Hritcu, Karthikeyan Bhargavan, and Pierre-Yves Strub. The school attracted over 75 participants and was primarily funded by the ERC Starting Grant CRYSP, with supporting funds from CryptoForma, MSR-Inria, and CryptoSense. The school's website is at https://wiki.inria.fr/prosecco/The_Joint_EasyCrypt-F*-CryptoVerif_School_2014

• PROSECCO hosted the IETF TLS Working Group Interim Meeting from October 21-22. The main organizers were Alfredo Pironti and Karthikeyan Bhargavan. The meeting involved a dozen members of industry and academia and discussed the detailed design of the next version of TLS. The meeting's website is at https://wiki.inria.fr/prosecco/IETF_TLS_Interim_October_2014

Scientific events selection

Chair of conference program committee

• ASA workshop – July 2014, Vienna, Austria: Graham Steem

Member of the conference program committee

• ETAPS HotSpot – April 2014, Grenoble, France: Bruno Blanchet

• IEEE CSF – July 2014, Vienna, Austria: Bruno Blanchet

• ACM CCS – November 2014, Scottsdale AZ, USA: Graham Steel

• ETAPS POST – April 2014, Grenoble, France: Graham Steel

• PPDP – September 2014, Canterbury, UK: Chantal Keller

• ACNS – June 2014, Lausanne, Switzerland: Catalin Hritcu

• FCS-FCC 2014 – July 2014, Vienna, Austria: Catalin Hritcu, Benjamin Smyth

• IEEE CloudCom – December 2014, Singapore: Benjamin Smyth

Reviewer

• Members of Prosecco reviewed papers for many major conferences and workshops including ACM CCS, ACM POPL, IEEE S&P, etc.

Journal

Member of the editorial board

Associate Editor

• of the International Journal of Applied Cryptography (IJACT) – Inderscience Publishers: Bruno Blanchet

Reviewer

• Members of Prosecco reviewed papers for many major journals including ACM TOPLAS, ACM TISSEC, Journal of Computer Security, etc.